Abstracts of Presentations A Prospect to the Next Version of TuBound

s of Presentations A Prospect to the Next Version of TuBound Adrian Prantl Vienna University of Technology [email protected] The safety of our day-to-day life depends crucially on the correct functioning of embedded software systems which control the functioning of more and more technical devices. Many of these software systems are time-critical. Hence, computations performed need not only to be correct, but must also be issued in a timely fashion. Worst case execution time (WCET) analysis is concerned with computing tight upper bounds for the execution time of a system in order to provide formal guarantees for the proper timing behaviour of a system. State-of-the-art WCET analysis tools rely on supporting analyses and manual annotations to provide them with information on the execution behaviour of the program such as loop bounds or maximum recursion depths. Typically, both steps are performed on the binary code of the program. The manual annotation of a binary program, however, imposes high demands on the programmer [1]. With TuBound, we are providing an improved work-flow by lifting manual annotations and supporting analyses to the source code level of a program. The information computed on this level and annotated in the code is then conjointly transformed throughout the compilation and optimization of the program to the binary code level to make it accessible to the WCET analysis component of our TuBound tool [2]. In this talk, we highlight the latest additions such as the constraint-based loop analysis [3].